例句與造句

1. Ehrenfeucht Fra飐s?like games can also be defined for other logics, such as fixpoint logics and pebble games for finite variable logics; extensions are powerful enough to characterise definability in existential second-order logic.
2. This has led to more powerful constructs being added to database query languages, such as recursive WITH in SQL : 1999 . More expressive logics, like fixpoint logics, have therefore been studied in finite model theory because of their relevance to database theory and applications.
3. Starting from relational algebra and first-order logic ( which are equivalent by Codd's theorem ) and the insight that important queries such as graph reachability are not expressible in this language, more powerful language based on logic programming and fixpoint logic such as datalog were studied.
4. It's difficult to find fixpoint logic in a sentence. 用fixpoint logic造句挺難的